Buy Used and New Michael G. Hinchey Books

Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))

by Michael G. Hinchey, Jonathan P. Bowen

ISBN 13: 9781852336400

Format: Paperback (400 pages)
Publisher: Springer
Published: 17 Sep 1999

Save for later

ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (Lecture Notes in Computer Science)

by

ISBN 13: 9783540650706

Format: Paperback (417 pages)
Publisher: Springer
Published: 16 Sep 1998

Save for later

ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings (Lecture Notes in Computer Science)

by Jonathan P. Bowen, Michael G. Hinchey, David Till

ISBN 13: 9783540627173

Format: Paperback (435 pages)
Publisher: Springer
Published: 20 Mar 1997

Save for later

Zum '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings (Lecture Notes in Computer Science)

by Jonathan P. Bowen, Michael G. Hinchey

ISBN 13: 9783540602712

Format: Paperback (600 pages)
Publisher: Springer
Published: 23 Aug 1995

Save for later

Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, ... Papers (Lecture Notes in Computer Science)

by Walt Truszkowski, Roy Sterritt, Michael G. Hinchey, Patricia Rago, Christopher A. Rouff

ISBN 13: 9783540692652

Format: Paperback (408 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later